void            mpinit(void);
int             cpunum(void);
int             mpbcpu(void);
void            ksegment(void);
void            lapicinit(int);
void            lapicstartap(uint8_t, uint32_t);
extern volatile uint32_t*    lapic;
